Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson Matthew Flatt University of Utah, School of Computing

Source URL: scheme2011.ucombinator.org

• Software engineering
• Computer programming
• Computing
• Source code
• Transformation languages
• C
• Functional languages
• Hygienic macro
• Scheme
• Syntax
• Macro
• Make

Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France)

Source URL: alan.petitepomme.net

• Software engineering
• Computer science
• Computing
• Boomerang
• Functional programming
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Benjamin C. Pierce
• SIGPLAN
• Coq
• French Institute for Research in Computer Science and Automation
• Research Institute of Computer Science and Random Systems

Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp

Source URL: ect.bell-labs.com

• Theoretical computer science
• Logic in computer science
• Software engineering
• Formal methods
• Programming language semantics
• Models of computation
• Operational semantics
• Semantics
• Bisimulation
• Process calculus
• Programming language
• Transition system

A Featherweight Java Interpreter Implemented in a Functional Programming Language Despite the fact that the functional programming languages are very old, they are still getting more familiar even to non-academic develop

Source URL: www.acm-spy.cz

1 Monadic Parser Combinators Graham Hutton University of Nottingham

Source URL: www.cs.nott.ac.uk

• Software engineering
• Computer programming
• Parsing
• Functional programming
• Formal languages
• Compiler construction
• Parser combinator
• Monad
• Recursive descent parser
• Compiler-compiler
• Combinatory logic
• Syntax

Improving Deterministic Computations in Lazy Functional Logic Languages Rafael Caballero and Francisco J. L´opez-Fraguas ?

Source URL: gpd.sip.ucm.es

Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR

Source URL: people.cs.uchicago.edu

• Data types
• Type theory
• C++
• Method
• Functional languages
• Standard ML
• C++ classes
• Algebraic data type
• Enumerated type
• Const
• Template
• Nullary constructor

The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Functional languages
• Theoretical computer science
• Formal methods
• Logic in computer science
• Frama-C
• SPARK
• Coq
• Isabelle
• OCaml
• Formal verification
• French Institute for Research in Computer Science and Automation

Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University

Source URL: cs.nyu.edu

• Computing
• Computer science
• Software engineering
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• SIGPLAN
• Compiler
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• ACM Transactions on Programming Languages and Systems
• Functional languages

PDF Document

Source URL: homes.cs.washington.edu

• Functional languages
• Scripting languages
• Algorithm
• Mathematical logic
• Theoretical computer science
• Evaluation
• Eval
• JavaScript
• Synthesizer